A hierarchy of deterministic languages
نویسندگان
چکیده
منابع مشابه
The Wadge Hierarchy of Deterministic Tree Languages
We provide a complete description of the Wadge hierarchy for deterministically recognisable sets of infinite trees. In particular we give an elementary procedure to decide if one deterministic tree language is continuously reducible to another. This extends Wagner’s results on the hierarchy of ω-regular languages of words to the case of trees.
متن کاملOn the Hierarchy of Block Deterministic Languages
A regular language is k-lookahead deterministic (resp. k-block deterministic) if it is specified by a k-lookahead deterministic (resp. k-block deterministic) regular expression. These two subclasses of regular languages have been respectively introduced by Han and Wood (k-lookahead determinism) and by Giammarresi et al. (k-block determinism) as a possible extension of one-unambiguous languages ...
متن کاملDeterministic Fuzzy Automaton on Subclasses of Fuzzy Regular ω-Languages
In formal language theory, we are mainly interested in the natural language computational aspects of ω-languages. Therefore in this respect it is convenient to consider fuzzy ω-languages. In this paper, we introduce two subclasses of fuzzy regular ω-languages called fuzzy n-local ω-languages and Buchi fuzzy n-local ω-languages, and give some closure properties for those subclasses. We define a ...
متن کاملA Hierarchy of Implementable MSC Languages
We develop a unifying theory of message-passing automata (MPAs) and MSC languages. We study several variants of regular as well as product MSC languages, their closure under finite union and their intersection. Furthermore, we analyse the expressive power of several variants of MPAs and characterize the language classes of interest by the corresponding classes of MPAs.
متن کاملA gap property of deterministic tree languages
We show that a tree language recognized by a deterministic parity automaton is either hard for the co–Büchi level and therefore cannot be recognized by a weak alternating automaton, or is on a very low level in the hierarchy of weak alternating automata. A topological counterpart of this property is that a deterministic tree language is either Π 1 complete (and hence non Borel), or it is on the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1979
ISSN: 0022-0000
DOI: 10.1016/0022-0000(79)90014-x